# ===================================================================
# Matrix Project
# Copyright FEM-NUAA.CN 2020 
# ===================================================================

COQC = d:/Coq.8.13/Coq/bin/coqc.exe
COQCFLAGS = -Q ..\\ Matrix
